(setf *rules*	'(

(=> 
(and 
 (member-of ?person1 ?project)
 (paid-from ?person1 ?project)
 (at-meetings ?person1 ?meeting))
 
 (project ?project))

 
(=>
 (and 
 (has-symptom ?person ?s1)
 (fever ?s1)
 (has-symptom ?person ?s2)
 (cough ?s2))
 
 (has-flu ?person))

 
(=>
 (and 
 (has-symptom ?person ?s1)
 (fever ?s1)
 (has-symptom ?person ?s2)
 (vomiting ?s2))

 (has-food-poisoning ?person))
 
(=> 
 (and (has-symptom ?person ?s1)
 (cough ?s1)
 (has-symptom ?person ?s2)
 (yellow-teeth ?s2))
 
 (has-lung-cancer ?person))

(=>
(and 
 (at-meetings ?person1 ?project)
 (at-meetings ?person2 ?project)
 (has-flu ?person1)
 (has-flu ?person2))
 
(caught-flu ?person1 ?person2))))


;Observations:

(setf *evidence* '(
(member-of Abe muri-project)
(member-of Bob muri-project)
(has-symptom Abe s1)
(fever s1)
(has-symptom Bob s2)
(cough s2)
))

(defun test-med (steps &optional (pb #'pick-belief-fewrules-unattached))
  (test-one steps *evidence* *rules* pb))

(defun inc-test-med (steps  &optional (plot? nil) (pb #'pick-belief-fewrules-unattached))
  (inc-test-one steps *evidence* *rules* plot? pb))
